extension | φ:Q→Out N | d | ρ | Label | ID |
D30.1C22 = D60:C2 | φ: C22/C1 → C22 ⊆ Out D30 | 120 | 4+ | D30.1C2^2 | 240,130 |
D30.2C22 = C12.28D10 | φ: C22/C1 → C22 ⊆ Out D30 | 120 | 4+ | D30.2C2^2 | 240,134 |
D30.3C22 = Dic5.D6 | φ: C22/C1 → C22 ⊆ Out D30 | 120 | 4 | D30.3C2^2 | 240,140 |
D30.4C22 = Dic3.D10 | φ: C22/C1 → C22 ⊆ Out D30 | 120 | 4 | D30.4C2^2 | 240,143 |
D30.5C22 = D60:11C2 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 2 | D30.5C2^2 | 240,178 |
D30.6C22 = D4:2D15 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4- | D30.6C2^2 | 240,180 |
D30.7C22 = Q8:3D15 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4+ | D30.7C2^2 | 240,182 |
D30.8C22 = D20:S3 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4 | D30.8C2^2 | 240,127 |
D30.9C22 = D12:D5 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4 | D30.9C2^2 | 240,129 |
D30.10C22 = D15:Q8 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4 | D30.10C2^2 | 240,131 |
D30.11C22 = D6.D10 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | 4 | D30.11C2^2 | 240,132 |
D30.12C22 = C4xS3xD5 | φ: C22/C2 → C2 ⊆ Out D30 | 60 | 4 | D30.12C2^2 | 240,135 |
D30.13C22 = C20:D6 | φ: C22/C2 → C2 ⊆ Out D30 | 60 | 4 | D30.13C2^2 | 240,138 |
D30.14C22 = C2xD30.C2 | φ: C22/C2 → C2 ⊆ Out D30 | 120 | | D30.14C2^2 | 240,144 |
D30.15C22 = C2xC4xD15 | φ: trivial image | 120 | | D30.15C2^2 | 240,176 |
D30.16C22 = Q8xD15 | φ: trivial image | 120 | 4- | D30.16C2^2 | 240,181 |